Diclib.com
Dictionnaire ChatGPT

Recherche dans le dictionnaire Solutions personnalisées

Entrez un mot ou une phrase dans n'importe quelle langue 👆

Langue:

Traduction et analyse de mots par intelligence artificielle ChatGPT

Sur cette page, vous pouvez obtenir une analyse détaillée d'un mot ou d'une phrase, réalisée à l'aide de la meilleure technologie d'intelligence artificielle à ce jour:

comment le mot est utilisé
fréquence d'utilisation
il est utilisé plus souvent dans le discours oral ou écrit
options de traduction de mots
exemples d'utilisation (plusieurs phrases avec traduction)
étymologie

Carine - traduction vers français

THEOREM PROVER, A MATHEMATICAL CONCEPT

Delayed clause construction; Semi-linear resolution; Delayed Clause Construction; Semi-Linear Resolution; Carine theorem prover

Carine

n. Carine, female first name

carinate

carinated, having a carina, having a ridge-like shape (Botany, Zoology)

Définition

little owl

¦ noun a small owl with speckled plumage, native to Eurasia and Africa. [Athene noctua.]

Afficher plus de définitions

Wikipédia

CARINE

CARINE (Computer Aided Reasoning Engine) is a first-order classical logic automated theorem prover. It was initially built for the study of the enhancement effects of the strategies delayed clause-construction (DCC) and attribute sequences (ATS) in a depth-first search based algorithm. CARINE's main search algorithm is semi-linear resolution (SLR) which is based on an iteratively-deepening depth-first search (also known as depth-first iterative-deepening (DFID)) and used in theorem provers like THEO. SLR employs DCC to achieve a high inference rate, and ATS to reduce the search space.

https://en.wikipedia.org/wiki/CARINE

Exemples du corpus de texte pour Carine

1. Recette culte: «Macaroni aux truffes noires et foie gras». Célébrités: Catherine Deneuve, Carine Roitfeld.

2. Carine Zuber, qui programme Cully, offre une carte blanche ŕ un pilier du festival.

3. Ghislaine Bloch L‘entrepreneur Rudi Pauwels a créé avec sa femme Carine Claeys la société Tibotec en 1''4.

4. Pour l‘heure, au Département fédéral des affaires étrang';res, Carine Carey, porte–parole, déclare qu‘aucune décision n‘a encore été prise.

5. Et celui d‘Osaka, le 31 mars 2008. «Mais la Suisse disposera toujours d‘une antenne commerciale sur place», précise Carine Carey.